Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
Logic programming Sistemes borrosos Teoremes -- Demostració automà tica Programació lògica Fuzzy systems Lògica difusa Automatic theorem proving
Bofill Arasa, Miquel Almendros-Jiménez, Jesús M. Villaret i Ausellé, Mateu Và zquez, Carlos Almendros-Jimenez, Jesùs M. Moreno, Ginès Ministerio de EconomÃa y Competitividad (Espanya)